Traces and extensions of certain weighted Sobolev spaces on $$\mathbb {R}^n$$ and Besov functions on Ahlfors regular compact subsets of $$\mathbb {R}^n$$

The focus of this paper is on Ahlfors Q-regular compact sets $$E\subset \mathbb {R}^n$$ such that, for each $$Q-2<\alpha \le 0$$ , the weighted measure $$\mu _{\alpha }$$ given by integrating density $$\omega (x)=\text {dist}(x, E)^\alpha $$ yields a Muckenhoupt $$\mathcal {A}_p$$ -weight in ball B containing E. For E we show existence bounded linear trace operator acting from $$W^{1,p}(B,\mu _\alpha )$$ to $$B^\theta _{p,p}(E, \mathcal {H}^Q\vert _E)$$ when $$0<\theta <1-\tfrac{\alpha +n-Q}{p}$$ and extension $$W^{1,p}(B, \mu $$1-\tfrac{\alpha +n-Q}{p}\le \theta <1$$ . We illustrate these results with as Sierpinski carpet, gasket, von Koch snowflake.